OPTIONS:
AUTO_HEADER=TRUE
VARIABLES:
A={0,1}
B={0,1}
C={0,1}
D={0,1}
OUTPUT_HEADER:
   | A ? B | A ? B | A ? B | A ? B |            |
OUTPUT:
${SOLUTION_NUMBER::#} ${0:[0#'|']:|} ${A:[0#FALSE|1#TRUE]:F ? F} ${0:[0#'|']:|} ${B:[0#FALSE|1#TRUE]:F ? T} ${0:[0#'|']:|} ${C:[0#FALSE|1#TRUE]:T ? F} ${0:[0#'|']:|} ${D:[0#FALSE|1#TRUE]:T ? T} ${0:[0#'|']:|} ${SOLUTION_NUMBER:[|1# FALSE |2# A AND B |3# A AND !B |4# A |5# !A AND B |6# B |7# !(A XOR B) |8# A OR B |9# A NOR B |10# A XOR B |11# !B |12# A OR !B |13# !A |14# !A OR B |15# A NAND B |16# TRUE ]:Expression} ${0:[0#'|']:|}
